Optimal. Leaf size=285 \[ \frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}+\frac{b d \log \left (c^{2/3} x^2+1\right )}{2 \sqrt [3]{c}}-\frac{b d \log \left (c^{4/3} x^4-c^{2/3} x^2+1\right )}{4 \sqrt [3]{c}}+\frac{\sqrt{3} b d \tan ^{-1}\left (\frac{1-2 c^{2/3} x^2}{\sqrt{3}}\right )}{2 \sqrt [3]{c}}-\frac{\sqrt{3} b e \log \left (c^{2/3} x^2-\sqrt{3} \sqrt [3]{c} x+1\right )}{8 c^{2/3}}+\frac{\sqrt{3} b e \log \left (c^{2/3} x^2+\sqrt{3} \sqrt [3]{c} x+1\right )}{8 c^{2/3}}-\frac{b e \tan ^{-1}\left (\sqrt [3]{c} x\right )}{2 c^{2/3}}+\frac{b e \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )}{4 c^{2/3}}-\frac{b e \tan ^{-1}\left (2 \sqrt [3]{c} x+\sqrt{3}\right )}{4 c^{2/3}}-\frac{b d^2 \tan ^{-1}\left (c x^3\right )}{2 e} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.60264, antiderivative size = 285, normalized size of antiderivative = 1., number of steps used = 23, number of rules used = 13, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.812, Rules used = {5205, 12, 1831, 275, 203, 292, 31, 634, 617, 204, 628, 295, 618} \[ \frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}+\frac{b d \log \left (c^{2/3} x^2+1\right )}{2 \sqrt [3]{c}}-\frac{b d \log \left (c^{4/3} x^4-c^{2/3} x^2+1\right )}{4 \sqrt [3]{c}}+\frac{\sqrt{3} b d \tan ^{-1}\left (\frac{1-2 c^{2/3} x^2}{\sqrt{3}}\right )}{2 \sqrt [3]{c}}-\frac{\sqrt{3} b e \log \left (c^{2/3} x^2-\sqrt{3} \sqrt [3]{c} x+1\right )}{8 c^{2/3}}+\frac{\sqrt{3} b e \log \left (c^{2/3} x^2+\sqrt{3} \sqrt [3]{c} x+1\right )}{8 c^{2/3}}-\frac{b e \tan ^{-1}\left (\sqrt [3]{c} x\right )}{2 c^{2/3}}+\frac{b e \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )}{4 c^{2/3}}-\frac{b e \tan ^{-1}\left (2 \sqrt [3]{c} x+\sqrt{3}\right )}{4 c^{2/3}}-\frac{b d^2 \tan ^{-1}\left (c x^3\right )}{2 e} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5205
Rule 12
Rule 1831
Rule 275
Rule 203
Rule 292
Rule 31
Rule 634
Rule 617
Rule 204
Rule 628
Rule 295
Rule 618
Rubi steps
\begin{align*} \int (d+e x) \left (a+b \tan ^{-1}\left (c x^3\right )\right ) \, dx &=\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}-\frac{b \int \frac{3 c x^2 (d+e x)^2}{1+c^2 x^6} \, dx}{2 e}\\ &=\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}-\frac{(3 b c) \int \frac{x^2 (d+e x)^2}{1+c^2 x^6} \, dx}{2 e}\\ &=\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}-\frac{(3 b c) \int \left (\frac{d^2 x^2}{1+c^2 x^6}+\frac{2 d e x^3}{1+c^2 x^6}+\frac{e^2 x^4}{1+c^2 x^6}\right ) \, dx}{2 e}\\ &=\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}-(3 b c d) \int \frac{x^3}{1+c^2 x^6} \, dx-\frac{\left (3 b c d^2\right ) \int \frac{x^2}{1+c^2 x^6} \, dx}{2 e}-\frac{1}{2} (3 b c e) \int \frac{x^4}{1+c^2 x^6} \, dx\\ &=\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}-\frac{1}{2} (3 b c d) \operatorname{Subst}\left (\int \frac{x}{1+c^2 x^3} \, dx,x,x^2\right )-\frac{\left (b c d^2\right ) \operatorname{Subst}\left (\int \frac{1}{1+c^2 x^2} \, dx,x,x^3\right )}{2 e}-\frac{(b e) \int \frac{1}{1+c^{2/3} x^2} \, dx}{2 \sqrt [3]{c}}-\frac{(b e) \int \frac{-\frac{1}{2}+\frac{1}{2} \sqrt{3} \sqrt [3]{c} x}{1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx}{2 \sqrt [3]{c}}-\frac{(b e) \int \frac{-\frac{1}{2}-\frac{1}{2} \sqrt{3} \sqrt [3]{c} x}{1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx}{2 \sqrt [3]{c}}\\ &=-\frac{b e \tan ^{-1}\left (\sqrt [3]{c} x\right )}{2 c^{2/3}}-\frac{b d^2 \tan ^{-1}\left (c x^3\right )}{2 e}+\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}+\frac{1}{2} \left (b \sqrt [3]{c} d\right ) \operatorname{Subst}\left (\int \frac{1}{1+c^{2/3} x} \, dx,x,x^2\right )-\frac{1}{2} \left (b \sqrt [3]{c} d\right ) \operatorname{Subst}\left (\int \frac{1+c^{2/3} x}{1-c^{2/3} x+c^{4/3} x^2} \, dx,x,x^2\right )-\frac{\left (\sqrt{3} b e\right ) \int \frac{-\sqrt{3} \sqrt [3]{c}+2 c^{2/3} x}{1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx}{8 c^{2/3}}+\frac{\left (\sqrt{3} b e\right ) \int \frac{\sqrt{3} \sqrt [3]{c}+2 c^{2/3} x}{1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx}{8 c^{2/3}}-\frac{(b e) \int \frac{1}{1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx}{8 \sqrt [3]{c}}-\frac{(b e) \int \frac{1}{1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2} \, dx}{8 \sqrt [3]{c}}\\ &=-\frac{b e \tan ^{-1}\left (\sqrt [3]{c} x\right )}{2 c^{2/3}}-\frac{b d^2 \tan ^{-1}\left (c x^3\right )}{2 e}+\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}+\frac{b d \log \left (1+c^{2/3} x^2\right )}{2 \sqrt [3]{c}}-\frac{\sqrt{3} b e \log \left (1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )}{8 c^{2/3}}+\frac{\sqrt{3} b e \log \left (1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )}{8 c^{2/3}}-\frac{(b d) \operatorname{Subst}\left (\int \frac{-c^{2/3}+2 c^{4/3} x}{1-c^{2/3} x+c^{4/3} x^2} \, dx,x,x^2\right )}{4 \sqrt [3]{c}}-\frac{1}{4} \left (3 b \sqrt [3]{c} d\right ) \operatorname{Subst}\left (\int \frac{1}{1-c^{2/3} x+c^{4/3} x^2} \, dx,x,x^2\right )-\frac{(b e) \operatorname{Subst}\left (\int \frac{1}{-\frac{1}{3}-x^2} \, dx,x,1-\frac{2 \sqrt [3]{c} x}{\sqrt{3}}\right )}{4 \sqrt{3} c^{2/3}}+\frac{(b e) \operatorname{Subst}\left (\int \frac{1}{-\frac{1}{3}-x^2} \, dx,x,1+\frac{2 \sqrt [3]{c} x}{\sqrt{3}}\right )}{4 \sqrt{3} c^{2/3}}\\ &=-\frac{b e \tan ^{-1}\left (\sqrt [3]{c} x\right )}{2 c^{2/3}}-\frac{b d^2 \tan ^{-1}\left (c x^3\right )}{2 e}+\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}+\frac{b e \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )}{4 c^{2/3}}-\frac{b e \tan ^{-1}\left (\sqrt{3}+2 \sqrt [3]{c} x\right )}{4 c^{2/3}}+\frac{b d \log \left (1+c^{2/3} x^2\right )}{2 \sqrt [3]{c}}-\frac{\sqrt{3} b e \log \left (1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )}{8 c^{2/3}}+\frac{\sqrt{3} b e \log \left (1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )}{8 c^{2/3}}-\frac{b d \log \left (1-c^{2/3} x^2+c^{4/3} x^4\right )}{4 \sqrt [3]{c}}-\frac{(3 b d) \operatorname{Subst}\left (\int \frac{1}{-3-x^2} \, dx,x,1-2 c^{2/3} x^2\right )}{2 \sqrt [3]{c}}\\ &=-\frac{b e \tan ^{-1}\left (\sqrt [3]{c} x\right )}{2 c^{2/3}}-\frac{b d^2 \tan ^{-1}\left (c x^3\right )}{2 e}+\frac{(d+e x)^2 \left (a+b \tan ^{-1}\left (c x^3\right )\right )}{2 e}+\frac{b e \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )}{4 c^{2/3}}-\frac{b e \tan ^{-1}\left (\sqrt{3}+2 \sqrt [3]{c} x\right )}{4 c^{2/3}}+\frac{\sqrt{3} b d \tan ^{-1}\left (\frac{1-2 c^{2/3} x^2}{\sqrt{3}}\right )}{2 \sqrt [3]{c}}+\frac{b d \log \left (1+c^{2/3} x^2\right )}{2 \sqrt [3]{c}}-\frac{\sqrt{3} b e \log \left (1-\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )}{8 c^{2/3}}+\frac{\sqrt{3} b e \log \left (1+\sqrt{3} \sqrt [3]{c} x+c^{2/3} x^2\right )}{8 c^{2/3}}-\frac{b d \log \left (1-c^{2/3} x^2+c^{4/3} x^4\right )}{4 \sqrt [3]{c}}\\ \end{align*}
Mathematica [A] time = 0.0893988, size = 310, normalized size = 1.09 \[ a d x+\frac{1}{2} a e x^2-\frac{b d \left (-2 \log \left (c^{2/3} x^2+1\right )+\log \left (c^{2/3} x^2-\sqrt{3} \sqrt [3]{c} x+1\right )+\log \left (c^{2/3} x^2+\sqrt{3} \sqrt [3]{c} x+1\right )-2 \sqrt{3} \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )-2 \sqrt{3} \tan ^{-1}\left (2 \sqrt [3]{c} x+\sqrt{3}\right )\right )}{4 \sqrt [3]{c}}-\frac{\sqrt{3} b e \log \left (c^{2/3} x^2-\sqrt{3} \sqrt [3]{c} x+1\right )}{8 c^{2/3}}+\frac{\sqrt{3} b e \log \left (c^{2/3} x^2+\sqrt{3} \sqrt [3]{c} x+1\right )}{8 c^{2/3}}-\frac{b e \tan ^{-1}\left (\sqrt [3]{c} x\right )}{2 c^{2/3}}+\frac{b e \tan ^{-1}\left (\sqrt{3}-2 \sqrt [3]{c} x\right )}{4 c^{2/3}}-\frac{b e \tan ^{-1}\left (2 \sqrt [3]{c} x+\sqrt{3}\right )}{4 c^{2/3}}+b d x \tan ^{-1}\left (c x^3\right )+\frac{1}{2} b e x^2 \tan ^{-1}\left (c x^3\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.069, size = 314, normalized size = 1.1 \begin{align*}{\frac{a{x}^{2}e}{2}}+adx+{\frac{b\arctan \left ( c{x}^{3} \right ){x}^{2}e}{2}}+b\arctan \left ( c{x}^{3} \right ) dx+{\frac{bc\sqrt{3}e}{8}\ln \left ({x}^{2}+\sqrt{3}\sqrt [6]{{c}^{-2}}x+\sqrt [3]{{c}^{-2}} \right ) \left ({c}^{-2} \right ) ^{{\frac{5}{6}}}}-{\frac{bcd}{4}\ln \left ({x}^{2}+\sqrt{3}\sqrt [6]{{c}^{-2}}x+\sqrt [3]{{c}^{-2}} \right ) \left ({c}^{-2} \right ) ^{{\frac{2}{3}}}}-{\frac{be}{4\,c}\arctan \left ( 2\,{\frac{x}{\sqrt [6]{{c}^{-2}}}}+\sqrt{3} \right ){\frac{1}{\sqrt [6]{{c}^{-2}}}}}+{\frac{bc\sqrt{3}d}{2} \left ({c}^{-2} \right ) ^{{\frac{2}{3}}}\arctan \left ( 2\,{\frac{x}{\sqrt [6]{{c}^{-2}}}}+\sqrt{3} \right ) }-{\frac{b{c}^{3}d}{4}\ln \left ({x}^{2}-\sqrt{3}\sqrt [6]{{c}^{-2}}x+\sqrt [3]{{c}^{-2}} \right ) \left ({c}^{-2} \right ) ^{{\frac{5}{3}}}}-{\frac{bc\sqrt{3}e}{8}\ln \left ({x}^{2}-\sqrt{3}\sqrt [6]{{c}^{-2}}x+\sqrt [3]{{c}^{-2}} \right ) \left ({c}^{-2} \right ) ^{{\frac{5}{6}}}}-{\frac{b{c}^{3}\sqrt{3}d}{2} \left ({c}^{-2} \right ) ^{{\frac{5}{3}}}\arctan \left ( 2\,{\frac{x}{\sqrt [6]{{c}^{-2}}}}-\sqrt{3} \right ) }-{\frac{be}{4\,c}\arctan \left ( 2\,{\frac{x}{\sqrt [6]{{c}^{-2}}}}-\sqrt{3} \right ){\frac{1}{\sqrt [6]{{c}^{-2}}}}}+{\frac{bcd}{2} \left ({c}^{-2} \right ) ^{{\frac{2}{3}}}\ln \left ({x}^{2}+\sqrt [3]{{c}^{-2}} \right ) }-{\frac{be}{2\,c}\arctan \left ({x{\frac{1}{\sqrt [6]{{c}^{-2}}}}} \right ){\frac{1}{\sqrt [6]{{c}^{-2}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.47298, size = 383, normalized size = 1.34 \begin{align*} \frac{1}{2} \, a e x^{2} - \frac{1}{4} \,{\left (c{\left (\frac{2 \, \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{3}} \arctan \left (\frac{1}{3} \, \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{3}}{\left (2 \, x^{2} - \frac{1}{c^{2}}^{\frac{1}{3}}\right )}\right )}{c^{2}} + \frac{{\left (c^{2}\right )}^{\frac{1}{3}} \log \left (x^{4} - \frac{1}{c^{2}}^{\frac{1}{3}} x^{2} + \frac{1}{c^{2}}^{\frac{2}{3}}\right )}{c^{2}} - \frac{2 \,{\left (c^{2}\right )}^{\frac{1}{3}} \log \left (x^{2} + \frac{1}{c^{2}}^{\frac{1}{3}}\right )}{c^{2}}\right )} - 4 \, x \arctan \left (c x^{3}\right )\right )} b d + \frac{1}{8} \,{\left (4 \, x^{2} \arctan \left (c x^{3}\right ) + c{\left (\frac{\sqrt{3} \log \left ({\left (c^{2}\right )}^{\frac{1}{3}} x^{2} + \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}} x + 1\right )}{{\left (c^{2}\right )}^{\frac{5}{6}}} - \frac{\sqrt{3} \log \left ({\left (c^{2}\right )}^{\frac{1}{3}} x^{2} - \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}} x + 1\right )}{{\left (c^{2}\right )}^{\frac{5}{6}}} - \frac{4 \, \arctan \left ({\left (c^{2}\right )}^{\frac{1}{6}} x\right )}{{\left (c^{2}\right )}^{\frac{5}{6}}} - \frac{2 \,{\left (c^{2}\right )}^{\frac{1}{6}} \arctan \left (\frac{2 \,{\left (c^{2}\right )}^{\frac{1}{3}} x + \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}}}{{\left (c^{2}\right )}^{\frac{1}{6}}}\right )}{c^{2}} - \frac{2 \,{\left (c^{2}\right )}^{\frac{1}{6}} \arctan \left (\frac{2 \,{\left (c^{2}\right )}^{\frac{1}{3}} x - \sqrt{3}{\left (c^{2}\right )}^{\frac{1}{6}}}{{\left (c^{2}\right )}^{\frac{1}{6}}}\right )}{c^{2}}\right )}\right )} b e + a d x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 61.3176, size = 104, normalized size = 0.36 \begin{align*} a d x + \frac{a e x^{2}}{2} - 3 b c d \operatorname{RootSum}{\left (216 t^{3} c^{4} + 1, \left ( t \mapsto t \log{\left (36 t^{2} c^{2} + x^{2} \right )} \right )\right )} - \frac{3 b c e \operatorname{RootSum}{\left (46656 t^{6} c^{10} + 1, \left ( t \mapsto t \log{\left (7776 t^{5} c^{8} + x \right )} \right )\right )}}{2} + b d x \operatorname{atan}{\left (c x^{3} \right )} + \frac{b e x^{2} \operatorname{atan}{\left (c x^{3} \right )}}{2} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 2.48028, size = 355, normalized size = 1.25 \begin{align*} \frac{1}{8} \, b c^{5}{\left (\frac{\sqrt{3}{\left | c \right |}^{\frac{1}{3}} \log \left (x^{2} + \frac{\sqrt{3} x}{{\left | c \right |}^{\frac{1}{3}}} + \frac{1}{{\left | c \right |}^{\frac{2}{3}}}\right )}{c^{6}} - \frac{\sqrt{3}{\left | c \right |}^{\frac{1}{3}} \log \left (x^{2} - \frac{\sqrt{3} x}{{\left | c \right |}^{\frac{1}{3}}} + \frac{1}{{\left | c \right |}^{\frac{2}{3}}}\right )}{c^{6}} - \frac{2 \,{\left | c \right |}^{\frac{1}{3}} \arctan \left ({\left (2 \, x + \frac{\sqrt{3}}{{\left | c \right |}^{\frac{1}{3}}}\right )}{\left | c \right |}^{\frac{1}{3}}\right )}{c^{6}} - \frac{2 \,{\left | c \right |}^{\frac{1}{3}} \arctan \left ({\left (2 \, x - \frac{\sqrt{3}}{{\left | c \right |}^{\frac{1}{3}}}\right )}{\left | c \right |}^{\frac{1}{3}}\right )}{c^{6}} - \frac{4 \,{\left | c \right |}^{\frac{1}{3}} \arctan \left (x{\left | c \right |}^{\frac{1}{3}}\right )}{c^{6}}\right )} e - \frac{1}{4} \, b c^{3} d{\left (\frac{2 \, \sqrt{3}{\left | c \right |}^{\frac{2}{3}} \arctan \left (\frac{1}{3} \, \sqrt{3}{\left (2 \, x^{2} - \frac{1}{{\left | c \right |}^{\frac{2}{3}}}\right )}{\left | c \right |}^{\frac{2}{3}}\right )}{c^{4}} + \frac{{\left | c \right |}^{\frac{2}{3}} \log \left (x^{4} - \frac{x^{2}}{{\left | c \right |}^{\frac{2}{3}}} + \frac{1}{{\left | c \right |}^{\frac{4}{3}}}\right )}{c^{4}} - \frac{2 \, \log \left (x^{2} + \frac{1}{{\left | c \right |}^{\frac{2}{3}}}\right )}{c^{2}{\left | c \right |}^{\frac{4}{3}}}\right )} + \frac{1}{2} \, b x^{2} \arctan \left (c x^{3}\right ) e + b d x \arctan \left (c x^{3}\right ) + \frac{1}{2} \, a x^{2} e + a d x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]